A subset {v1,...,vk}\{v_1,...,v_k\} of a vector space ๐•\mathbf{V}, with the inner product โŸจ,โŸฉ\langle,\rangle, is called orthonormal if โŸจvi,vjโŸฉ=0\langle v_i,v_j \rangle=0 when iโ‰ ji \neq j. That is, the vectors are mutually perpendicular. Moreover, they are all required to have length one: โŸจvi,viโŸฉ=1\langle v_i,v_i \rangle=1.


Representation of 1D Signal Using An Orthonormal Basis

Orthonormal basis function

โˆซโˆ’โˆžโˆžฯ•(x,u1)ฯ•โˆ—(x,u2)dx={1,u1=u20,u1โ‰ u2\int_{-\infty}^\infty \phi(x,u_1) \phi^*(x,u_2) dx = \begin{cases}1, u_1 = u_2 \\ 0, u_1 \neq u_2\end{cases}

Inverse transform

Forward transform

Orthonormal basis vectors

{๐กk,k=0,...,Nโˆ’1}\{\mathbf{h}_k,k=0,...,N-1\} are OBV if

โŸจ๐กk,๐กlโŸฉ=ฮดk,l={1k=l0kโ‰ l \langle \mathbf{h}_k,\mathbf{h}_l \rangle =\delta_{k,l} =\begin{cases} 1 & k=l\\ 0 & k \neq l\end{cases}

with OBV

โŸจ๐กl,๐ŸโŸฉ=โŸจ๐กl,โˆ‘k=0Nโˆ’1t(k)๐กkโŸฉ=t(l)=๐กlH๐Ÿ๐ญ=[๐ก0H๐ก1Hโ‹ฎ๐กNโˆ’1H]๐โˆ’1=๐Hย orย ๐=๐๐H=๐ˆ\begin{aligned} \langle \mathbf{h}_l, \mathbf{f} \rangle = \langle \mathbf{h}_l, \sum_{k=0}^{N-1} t(k) \mathbf{h}_k \rangle=t(l)=\mathbf{h}_l^H \mathbf{f} \\ \mathbf{t}=\begin{bmatrix} \mathbf{h}_0^H \\ \mathbf{h}_1^H\\ \vdots \\ \mathbf{h}_{N-1}^H \end{bmatrix} \\ \mathbf{B}^{-1}=\mathbf{B}^H \textrm{ or } \mathbf{B} = \mathbf{B} \mathbf{B}^H = \mathbf{I} \end{aligned}

where ๐\mathbf{B} is unitary.


References:

  1. https://mathworld.wolfram.com/OrthonormalBasis.html
  2. https://www.sciencedirect.com/topics/computer-science/orthonormal-basis